Download Analyzable Real-Time Systems Programmed in Ada